strict homomorphism

См. также в других словарях:

• Multiplier algebra — In C* algebras, the multiplier algebra, denoted by M(A), of a C* algebra A is a unital C* algebra which is the largest unital C* algebra that contains A as an ideal in a non degenerate way. It is the noncommutative generalization of Stone–Čech… …   Wikipedia

• Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… …   Wikipedia

• Affine connection — An affine connection on the sphere rolls the affine tangent plane from one point to another. As it does so, the point of contact traces out a curve in the plane: the development. In the branch of mathematics called differential geometry, an… …   Wikipedia

• Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

• Category of abelian groups — In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category.The monomorphisms in Ab are the injective group homomorphisms, the epimorphisms are the… …   Wikipedia

• Representation theory of Hopf algebras — In abstract algebra, a representation of a Hopf algebra is a representation of its underlying associative algebra. That is, a representation of a Hopf algebra H over a field K is a K vector space V with an action H × V → V usually denoted by… …   Wikipedia

• Henselian ring — In mathematics, a Henselian ring (or Hensel ring) is a local ring in which Hensel s lemma holds. They were defined by harvtxt|Azumaya|1951, who named them after Kurt Hensel. Some standard references for Hensel rings are… …   Wikipedia

• Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …   Wikipedia

• Cyclic order — In mathematics, a cyclic order is a way to arrange a set of objects in a circle.[nb] Unlike most structures in order theory, a cyclic order cannot be modeled as a binary relation a < b . One does not say that east is more clockwise than west.… …   Wikipedia

• Rosetta-lang — The Rosetta system level specification language is a design language targeting complex, heterogeneous systems with the specific aim of supporting system level design. Specific language design objectives include:* Constraint representation *… …   Wikipedia

• Isomorphism — In abstract algebra, an isomorphism (Greek: ἴσος isos equal , and μορφή morphe shape ) is a bijective map f such that both f and its inverse f −1 are homomorphisms, i.e., structure preserving mappings.In the more general setting of category… …   Wikipedia